predicate calculus wff

谓词演算合适公式